remove superfluous byte swap in linkersymbol builtin translation (#455)

- Remove the superfluous byte swap in the `linkersymbol` builtin
translation.
- Support testing the `linkersymbol` builtin translation in the runner
specs.

---------

Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
This commit is contained in:
xermicus authored and GitHub committed 2026-01-15 12:43:46 +01:00
1 parent 2d85ca9755
commit 289af875db
12 files changed
+498 -345

No files matched your search

+2
View File
@@ -316,6 +316,7 @@ impl Specs {
path: Some(path),
solc_optimizer,
contract,
libraries,
} = code
else {
panic!("the differential runner requires Code::Solidity source");
@@ -335,6 +336,7 @@ impl Specs {
&contract,
&solidity_source,
solc_optimizer.unwrap_or(true),
libraries,
)),
Err(err) => panic!(
"failed to read solidity source\n . path: '{}'\n . error: {:?}",