This reverts commit 6dfbb2eacfa81606cadf3272c1668ae8b89c26ff, reversing changes made to 1a01ae37ebce571aaad047766fb7fee950e8644d.
Reasoning: the feature did fail a few tests and we need to rethink how simexpal writes cache files. Currently, simexpal write cache files also to git repositories. This has been a problem ever since I worked with it, and in this case we have the problem that a clean state in the build folder can not be the case as soon as those cache files are present. Therefore, we must revert this merge and make further changes to simexpal to finish the work on the develop revisions feature #142
This reverts commit 6dfbb2eacfa81606cadf3272c1668ae8b89c26ff, reversing changes made to 1a01ae37ebce571aaad047766fb7fee950e8644d.
Reasoning: the feature did fail a few tests and we need to rethink how simexpal writes cache files. Currently, simexpal write cache files also to git repositories. This has been a problem ever since I worked with it, and in this case we have the problem that a clean state in the build folder can not be the case as soon as those cache files are present. Therefore, we must revert this merge and make further changes to simexpal to finish the work on the develop revisions feature #142