1
Vote

Build Errors (PreProcess.cs, SmackPreprocessorTransform.cs)

description

Installed Boogie successfully, but the build fails for SymDiff. Is the build instructions/dependencies up to date?
Error   11  The type or namespace name 'ProgTransformation' could not be found (are you missing a using directive or an assembly reference?)    C:\symdiff\SymDiffPreProcess\source\SmackPreprocessorTransform.cs   2   7   SymDiffPreProcess

Error   12  The type or namespace name 'ProgTransformation' could not be found (are you missing a using directive or an assembly reference?)    C:\symdiff\SymDiffPreProcess\source\PreProcess.cs   3   7   SymDiffPreProcess

Error   13  The type or namespace name 'TransformationPass' could not be found (are you missing a using directive or an assembly reference?)
    
C:\symdiff\SymDiffPreProcess\source\SmackPreprocessorTransform.cs   11  48  SymDiffPreProcess
Error   14  The type or namespace name 'PersistentProgram' could not be found (are you missing a using directive or an assembly reference?) C:\symdiff\SymDiffPreProcess\source\PreProcess.cs   84  24  SymDiffPreProcess

file attachments

comments

rvt wrote Mar 31, 2016 at 6:24 PM

No insights on this?

liyistc wrote Jul 31 at 3:41 PM

It seems that you need dependencies from Corral.