Build Failure due to Version Incompatibility
ruidan-li opened this issue · 1 comments
ruidan-li commented
After installing the listed prerequisites (.Net core=3.1.302, latest visual studio 2019), the build script keeps failing with version errors such as "error NU1201: Project Microsoft.PSharp is not compatible with net46 (.NETFramework,Version=v4.6)". netcoreapp2.1 and net46 are referenced in the repo (such as replayer) and thus caused this version incompatibility error.
ruidan-li commented
After reaching out to Suvam and Pantazis, I was kindly given a patch to replace all the referenced to netcoreapp2.1 and net46 with .NET 5 (5.0.301), which resolved the build failure issue.