You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ubuntu@4f90a1113735:~/examples/source_0_original_1c4_rs$ symrustc_hybrid.sh test
[cargo-make] INFO - cargo make 0.36.11
Updating crates.io index
Downloaded quick-error v1.2.3
Downloaded lz4_flex v0.3.5
Downloaded lz4-sys v1.11.1+lz4-1.10.0
Downloaded lz4 v1.28.0
Downloaded 4 crates (438.4 KB) in 0.10s
Compiling shlex v1.3.0
Compiling libc v0.2.169
Compiling quick-error v1.2.3
Compiling byteorder v1.5.0
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
This is SymCC running with the QSYM backend
Performing fully concrete execution (i.e., without symbolic input)
[cargo-make] INFO - Build File: Makefile.toml/14: shlex, quick-error, libc(build.rs), byteorder
[cargo-make] INFO - Task: test
[cargo-make] INFO - Profile: development
[cargo-make] INFO - Running Task: legacy-migration
[cargo-make] INFO - Running Task: runtime
error: package `home v0.5.11` cannot be built because it requires rustc 1.81 or newer, while the currently active rustc version is 1.65.0
Either upgrade to rustc 1.81 or newer, or use
cargo update -p [email protected] --precise ver
where `ver` is the latest version of `home` supporting rustc 1.65.0
[cargo-make] ERROR - Error while executing command, exit code: 101
[cargo-make] WARN - Build Failed.
This seems to be related to the home version. I tried to modify all the home versions in the docker container to lower versions, but it didn't work.
The text was updated successfully, but these errors were encountered:
This seems to be related to the home version. I tried to modify all the home versions in the docker container to lower versions, but it didn't work.
The text was updated successfully, but these errors were encountered: