search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Prepare release 1.2 #2112

Closed mccleeary-galois closed 2 months ago

mccleeary-galois commented 2 months ago

Update Changes.md, bump submodules, and cabal version numbers in preparation for the release of SAW 1.2.

mccleeary-galois commented 2 months ago

Failing code coverage is probably due to some bad cache state...

Here you can see that the compute-coverage.sh is grabbing multiple versions from the dist-newstyle for this loop here

hpc markup 
--destdir=hpc-html 
--hpcdir=dist-newstyle/build/x86_64-linux/ghc-9.4.8/saw-script-1.2.0.99/hpc 
--hpcdir=dist-newstyle/build/x86_64-linux/ghc-9.4.8/saw-script-1.1.0.99/hpc/vanilla/mix/integration_tests 
--hpcdir=dist-newstyle/build/x86_64-linux/ghc-9.4.8/saw-script-1.1.0.99/hpc/vanilla/mix/saw 
--hpcdir=dist-newstyle/build/x86_64-linux/ghc-9.4.8/saw-script-1.1.0.99/hpc/vanilla/mix/saw-script-1.1.0.99 all.tix

Note the mismatch version numbers...

mccleeary-galois commented 2 months ago

Needed to make a change to this PR (forgot the saw-remote-api updates in here) so going to close this and open a new one to test the theory it is a bad cache state.