Updated compiler version and tests

truffle/package.json

@@ -12,8 +12,7 @@
     "babel-register": "^6.26.0",
     "bindings": "^1.5.0",
     "ganache-cli": "^6.4.1",
-    "openzeppelin-solidity": "^2.1.3",
+    "truffle": "5.0.25",
-    "truffle": "5.0.24",
     "truffle-hdwallet-provider": "^1.0.0-web3one.5"
   },
   "scripts": {

truffle/test/test.js

@@ -19,6 +19,15 @@ contract("Testing Lazy", accounts => {
     assert.equal(task.status, 2);
   });
 
+  it("should pass correct proof", async () => {
+    let instance = await Lazy.deployed();
+    let task = await instance.tasks(1);
+    assert.equal(task.status, 0);
+    await instance.challenge(1);
+    task = await instance.tasks(1);
+    assert.equal(task.status, 1);
+  });
+
 });
 
 

truffle/truffle.js

@@ -26,7 +26,7 @@ module.exports = {
     },
     compilers: {
         solc: {
-            version: "0.5.4",
+            version: "0.5.10",
             settings: {
                 optimizer: {
                     enabled: true,