Merge branch 'master' into save-progress-visualize

Author: rv-jenkins

tests/foundry/exclude

@@ -1,18 +1,17 @@
+AccountParamsTest.testEtchSymbolic
+AccountParamsTest.test_GetNonce_false
+AccountParamsTest.testFail_GetNonce_false
 AddrTest.test_addr_false
 AddrTest.testFail_addr_false
 AddrTest.testFail_addr_true
+AssertTest.test_assert_true
 AssertTest.test_assert_false
 AssertTest.testFail_assert_false
 AssertTest.testFail_assert_true
 AssertTest.testFail_expect_revert
 AssumeTest.test_assume_false
 AssumeTest.testFail_assume_false
 AssumeTest.testFail_assume_true
-BlockParamsTest.testChainId
-BlockParamsTest.testCoinBase
-BlockParamsTest.testFee
-BlockParamsTest.testRoll
-BlockParamsTest.testWarp
 BroadcastTest.testDeploy
 ContractBTest.testCannotSubtract43
 ContractBTest.testFailSubtract43
@@ -35,7 +34,6 @@ EnvTest.testEnvString
 EnvTest.testEnvStringArray
 EnvTest.testEnvUInt
 EnvTest.testEnvUIntArray
-EtchTest.testEtchSymbolic
 ExpectRevertTest.testFail_expectRevert_bytes4
 ExpectRevertTest.test_expectRevert_bytes4
 FfiTest.testffi
@@ -71,11 +69,6 @@ LoopsTest.testSumToNBroken
 MockCallTest.testMockCall
 MockCallTest.testMockCalls
 MockCallTest.testMockCallValue
-NonceTest.testFail_GetNonce_false
-NonceTest.testFail_GetNonce_true
-NonceTest.test_GetNonce_false
-NonceTest.test_GetNonce_true
-NonceTest.testNonce
 OwnerUpOnlyTest.testFailIncrementAsNotOwner
 OwnerUpOnlyTest.testIncrementAsNotOwner
 OwnerUpOnlyTest.testIncrementAsOwner
@@ -96,8 +89,6 @@ SnapshotTest.testSnapshot
 StoreTest.testAccesses
 StoreTest.testGasLoadWarmVM
 StoreTest.testGasStoreWarmVM
-TokenTest.test_1
-TokenTest.test_2
 ToStringTest.testAddressToString
 ToStringTest.testBoolToString
 ToStringTest.testBytes32ToString
@@ -168,3 +159,34 @@ UintTypeTest.test_uint80_fail
 UintTypeTest.test_uint88_fail
 UintTypeTest.test_uint8_fail
 UintTypeTest.test_uint96_fail
+UintTypeTest.test_uint248
+UintTypeTest.test_uint240
+UintTypeTest.test_uint232
+UintTypeTest.test_uint224
+UintTypeTest.test_uint216
+UintTypeTest.test_uint208
+UintTypeTest.test_uint200
+UintTypeTest.test_uint192
+UintTypeTest.test_uint184
+UintTypeTest.test_uint176
+UintTypeTest.test_uint168
+UintTypeTest.test_uint160
+UintTypeTest.test_uint152
+UintTypeTest.test_uint144
+UintTypeTest.test_uint136
+UintTypeTest.test_uint128
+UintTypeTest.test_uint120
+UintTypeTest.test_uint112
+UintTypeTest.test_uint104
+UintTypeTest.test_uint96
+UintTypeTest.test_uint88
+UintTypeTest.test_uint80
+UintTypeTest.test_uint72
+UintTypeTest.test_uint64
+UintTypeTest.test_uint56
+UintTypeTest.test_uint48
+UintTypeTest.test_uint40
+UintTypeTest.test_uint32
+UintTypeTest.test_uint24
+UintTypeTest.test_uint16
+UintTypeTest.test_uint8