1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
Using theories
$ theories_regression.c.bin
[----] theories_regression.c:37: Assertion Failed
[----]
[----] The conditions for this assertion were not met.
[----]
[----] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 3.14f, 3.14, 3.14l, "test", "other test")
[FAIL] theory::misc
[====] Synthesis: Tested: 1 | Passing: 0 | Failing: 1 | Crashing: 0
Theories should be listed as only one test
$ theories_regression.c.bin --list
theory: 1 test
`-- misc
$ [ "$CXX_SUPPORT" = 1 ] || exit 80
$ theories_regression.cc.bin
[----] theories_regression.cc:36: Assertion Failed
[----]
[----] The conditions for this assertion were not met.
[----]
[----] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 3.14f, 3.14, "test", "other test")
[FAIL] theory::misc
[====] Synthesis: Tested: 1 | Passing: 0 | Failing: 1 | Crashing: 0
|
