| commit | 9e75066819b51fa33cfe1438f55b017e080f0181 | |
| author | Akim Demaille <akim.demaille@gmail.com> | |
| Fri, 19 Jun 2020 06:01:21 +0000 (19 08:01 +0200) | ||
| committer | Akim Demaille <akim.demaille@gmail.com> | |
| Fri, 19 Jun 2020 06:02:18 +0000 (19 08:02 +0200) | ||
| tree | 6785c552f1a00b9c8a8ff5ba899525c9d5fa6f09 | treesnapshot (tar.gz zip) |
| parent | efb65daa36db3e918ace73c8a500373340867fbe | commitdiff |
cex: style changes
* src/counterexample.c: Simplify a bit.
* src/parse-simulation.c, src/parse-simulation.h: Enforce coding style.
* src/counterexample.c: Simplify a bit.
* src/parse-simulation.c, src/parse-simulation.h: Enforce coding style.
| src/counterexample.c | diffblobblamehistory | |
| src/parse-simulation.c | diffblobblamehistory | |
| src/parse-simulation.h | diffblobblamehistory |