[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Replace tests/example.smt2 with tests/test-theory.smt2

Subject: Replace tests/example.smt2 with tests/test-theory.smt2
From: Chris Warburton
Date: Tue, 31 Oct 2017 21:56:41 +0000
Resolution: fixed
State: resolved

Should allow more reuse of intermediate results like ASTs

Follow-Ups:
- Re: Replace tests/example.smt2 with tests/test-theory.smt2
  - From: Chris Warburton

Prev by Date: Is weigh override needed?
Next by Date: Add examples to README
Previous by thread: Re: Is weigh override needed?
Next by thread: Re: Replace tests/example.smt2 with tests/test-theory.smt2
Index(es):
- Date
- Thread