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

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

Subject: Re: Replace tests/example.smt2 with tests/test-theory.smt2
From: Chris Warburton
Date: Tue, 31 Oct 2017 23:34:55 +0000
In-reply-to: <c807c6572d198bfd-0-artemis@nixos>
References: <c807c6572d198bfd-0-artemis@nixos>

Replaced.

References:
- Replace tests/example.smt2 with tests/test-theory.smt2
  - From: Chris Warburton

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