10 commits

Author	SHA1	Message	Date
Krystine Sherwin	779a1fddf6	Testing cutpoint with boxed selections	2025-04-11 04:12:34 +12:00
Jacob Lifshay	0b0123e003	don't use sed -i because it won't work on macos	2022-06-03 01:09:57 -07:00
Jacob Lifshay	cd57c5adb3	smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions	2022-06-02 22:37:29 -07:00
N. Engelhardt	8fd1b06249	fix handling of escaped chars in json backend and frontend	2022-02-18 17:13:09 +01:00
Zachary Snow	4c108b4419	Add plugin.so.dSYM to .gitignore ... This artifact is automatically generated by the builtin clang on macOS when -g is used.	2021-01-18 11:13:21 -07:00
Eddie Hung	f11dd6e208	tests: add a quick plugin test	2020-04-09 09:45:20 -07:00
Clifford Wolf	9e940f1276	Speed up "make test" and related cleanups ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-17 14:37:07 +02:00
David Shah	3a3da678ad	Add test for writing gzip-compressed files ... Signed-off-by: David Shah <dave@ds0.me>	2019-08-06 17:43:04 +01:00
Clifford Wolf	a8c85d1b4b	Update some .gitignore files ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-20 14:27:57 +02:00
Clifford Wolf	d49dec1f86	Added tests/various/.gitignore	2014-07-26 17:43:41 +02:00