22 commits

Author	SHA1	Message	Date
N. Engelhardt	2e0087fd2f	Merge pull request #150 from nakengelhardt/fix_junit_type_assignment ... note unexpected return statuses in junit	2022-03-30 12:53:48 +02:00
Jannis Harder	81e8b6737b	Merge pull request #147 from jix/smtbmc-keepgoing ... Support and tests for smtbmc `--keep-going`	2022-03-30 11:42:48 +02:00
Jannis Harder	2d3d96478a	Tests for --keep-going ... This also changes the test Makefile to run `.check.py` files after running the corresponding `.sby` file to allow more precise testing of the keep going feature.	2022-03-30 11:26:58 +02:00
N. Engelhardt	008d020c4d	note unexpected return statuses in junit	2022-03-29 19:10:29 +02:00
N. Engelhardt	53abf14514	Merge pull request #145 from nakengelhardt/fix_junit_tracefile ... junit: handle multiple asserts failing with the same trace	2022-03-28 16:32:54 +02:00
N. Engelhardt	3d8f56b89a	Merge pull request #142 from nakengelhardt/fix_backslash_smt2 ... translate backslashes in cell names the same way as smt2 backend does	2022-03-28 16:32:10 +02:00
Jannis Harder	a434252ca1	Test signals with nonzero start offsets in aim files with smtbmc	2022-03-25 15:18:45 +01:00
N. Engelhardt	c7e4785a8a	junit: handle multiple asserts failing with the same trace	2022-03-22 16:16:02 +01:00
N. Engelhardt	5dc7fc9a4d	translate backslashes in cell names the same way as smt2 backend does	2022-03-22 11:14:48 +01:00
N. Engelhardt	2441940653	ci housekeeping	2022-03-15 15:12:59 +01:00
N. Engelhardt	8a81b61321	fix ci	2022-03-07 08:34:01 +01:00
N. Engelhardt	7142f790e4	add testcase for overall run result	2022-02-24 22:44:11 +01:00
N. Engelhardt	89ed843ff1	validate junit files (with extra attributes added to schema)	2022-02-22 16:16:37 +01:00
N. Engelhardt	7ee357fcc8	fix induction	2022-02-07 22:01:52 +01:00
N. Engelhardt	7d3545dc86	fix junit error/failure/skipped count	2022-02-07 19:20:29 +01:00
N. Engelhardt	53eb25fcae	handle unreached cover properties	2022-02-07 15:29:36 +01:00
N. Engelhardt	1cf27e7c31	parse solver location output for assert failures (cover not functional yet)	2022-01-27 13:41:07 +01:00
N. Engelhardt	cdf5650c12	add JUnit schema and validator ... Signed-off-by: N. Engelhardt <nak@yosyshq.com>	2022-01-13 13:43:38 +01:00
N. Engelhardt	ad07ea0e85	add testcase exposing #137	2022-01-12 11:06:05 +01:00
N. Engelhardt	b6dc1c9da3	fix test rule	2020-07-24 16:06:44 +02:00
Claire Wolf	a23c76a169	Remove redundant copy of picorv32 ... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	2020-07-24 15:13:45 +02:00
N. Engelhardt	8c5b65cf97	add tests directory with additional tests	2020-07-24 13:51:39 +02:00