For most examples the error is: /bin/sh: 1: /var/fstar/bin/z3: not found
For some but surprisingly not all examples with a dependency on hyperheap the error instead is (Error) not a valid include directory: /var/fstar/ulib/hyperheap This is also an experiment in figuring out the best process for fixing the online tutorial. Currently we don't have sufficient debugging output to enable local fixes and we need the help of specialists such as Antoine. Markulf _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club