5 Commits (main)

Author SHA1 Message Date
pantonshire 96a085686b test: improve test script to allow easily adding new runs
test.sh previously had each of its runs hard-coded; this patch changes
the script to loop over an array of cargo flags instead. This allows new
flags to be added to the array to easily add new runs to the test
script.
3 years ago
Pantonshire 5ca54944e8 Move the experimental InliningString to the inlining module 3 years ago
Pantonshire f72b53e84f Improve test script 3 years ago
Pantonshire 0b4dbc6bc5 no_std support 3 years ago
Pantonshire 78b940ff19 Bash script for miri testing 3 years ago