search

hammerlab / genspio

Generate Shell Phrases In OCaml
https://smondet.gitlab.io/genspio-doc/
Apache License 2.0
48 stars 3 forks source link

Bash/Darwin801 tests 2018-10-02 #92

Closed smondet closed 5 years ago

smondet commented 5 years ago

With master at dc8ab0fad4e, using the vm_tester.ml Darwin VM:

charles:~/vmt/bash-SlowFlow-cp root# uname -a
Darwin charles.local 8.0.1 Darwin Kernel Version 8.0.1: Fri Apr 29 12:18:40 PDT 2005; root:xnu-792.obj/RELEASE_I386 x86 i386

\o/

charles:~/vmt/bash-SlowFlow-cp root# cat report.md
* Shell: bash, compilation; Slow-stack, opti: cst-prop, total tests: 127
    * Failures:        0.
    * Successes:      127.
smondet commented 5 years ago

Also, no optimizations, and bash called as sh:

charles:~/vmt/sh-SlowFlow root# cat report.md 
* Shell: sh, compilation; Slow-stack, opti: , total tests: 127
    * Failures:        0.
    * Successes:      127