disable slicing within SMT (in preparation for factoring it out)
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE873b581fd690: generalized the 'slice' option towards more flexible slicing
- Branches
- Unknown
- Tags