fix fixpoint algorithm for k-CFA

3 jobs for master in 66 minutes and 47 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Dependencies
passed #129165
stack-dependencies

00:22:41

 
  Build
passed #129166
stack-build

00:21:31

 
  Test
failed #129167
stack-test

00:22:35

 
Name Stage Failure
failed
stack-test Test

Warning: Directory listed in lib/sturdy-lib.cabal file does not exist: test-programs

Warning: Directory listed in lib/sturdy-lib.cabal file does not exist: test-programs

-- While building package sturdy-lib-0.2.0.0 using:
/root/.stack/setup-exe-cache/x86_64-linux/Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5 --builddir=.stack-work/dist/x86_64-linux/Cabal-2.4.0.1 build lib:sturdy-lib test:spec --ghc-options ""
Process exited with code: ExitFailure 1
ERROR: Job failed: exit code 1