100644 blob 41d653bcf77a8a985ec11ff5b4fc83cf2f071d48	AllTheoriesTests.java
100644 blob 099b50fe14c422ad68dda1b16e9dd66223dbce11	AssumingInTheoriesTest.java
100644 blob cf786ba6b73bda2b83c6e94c17c43d288e3b87bc	ParameterSignatureTest.java
100644 blob 45071ed0a36f77f65417d601ee9c623a56b38e30	PotentialAssignmentTest.java
100644 blob 137617121b2d4f05263ead72270870cbef71c506	TestedOnSupplierTest.java
100644 blob 6e1b35165cc29b7eacfaedd098f401cab6ce9968	TheoryTestUtils.java
040000 tree 1f4c88f4a8429f1517ba0a29248c0d834b9cd198	extendingwithstubs
040000 tree 0e34d9a70c7ff7423752ec46782c237361645934	internal
040000 tree a9e353d77d7cea8e1374e0245bb2181b410ae392	runner