Hey there, I like Klee and have been trying to package it in nixpkgs so more people can reproducibly use it without resorting to things like setup scripts or Docker. Here are the cmake flags I'm using:
https://github.com/NixOS/nixpkgs/pull/153014/files#diff-cb8d40a4e82c0c50ce6ec4031c12e06a4dac4bded86b9f01afcb2b4f22532dbbR46 Everything works including the system tests, which is a very good sign. However, I'm having trouble with the unit tests that resembles this problem: https://github.com/google/googletest/issues/2157 Has anyone else run into this? Thanks! Morgan _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
