Update travis

crytic · Nov 6, 2019 · b7b85f5 · b7b85f5
1 parent 6e35805
commit b7b85f5
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/tests/check-kspec/test_1.txt b/tests/check-kspec/test_1.txt
@@ -1,4 +1,7 @@
 ## Check for functions coverage
-[92m[✓] SafeAdd.add(uint256,uint256)[0m
-[91m[ ] (Missing) SafeAdd.add_v2(uint256,uint256)[0m
-[93m[ ] (Unresolved) SafeAdd.addv2(uint256,uint256)[0m
+[92m[✓] SafeAdd.add(uint256,uint256)
+[0m
+[91m[ ] (Missing function) SafeAdd.add_v2(uint256,uint256)
+[0m
+[93m[ ] (Unresolved) SafeAdd.addv2(uint256,uint256)
+[0m