[495079]: Test / examples / forall.tst Maximize Restore History

Download this file

forall.tst    22 lines (16 with data), 468 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
# forall.tst
>>> import sys
>>> import pyke
>>> import os
>>> new_path = os.path.join(os.path.dirname(os.path.dirname(pyke.__file__)),
... 'examples/forall')
>>> sys.path.append(new_path)
>>> import run
>>> run.fc_test()
arthur2 has no step brothers or sisters
helen has no step brothers or sisters
roberta has no step brothers or sisters
>>> run.bc_test()
arthur2
helen
roberta