4 Commits

Author	SHA1	Message	Date
Krystine Sherwin	f9e8127e2b	tests: Add equiv_induct to equiv_assume.ys	2025-08-06 15:13:04 +12:00
Krystine Sherwin	5ec189a2f5	Tests: Extra equiv_assume tests	2025-07-16 21:06:04 +12:00
Krystine Sherwin	d30f934d0d	equiv_simple: Add -set-assumes option ... Based on existing code for input cone and the `sat` handling of `-set-assumes`. Update `equiv_assume.ys` to use `-set-assumes` option.	2025-07-16 21:04:41 +12:00
Krystine Sherwin	a57c593c41	tests: Add equiv_assume.ys	2025-07-16 15:32:47 +12:00