diff --git a/truffle/package.json b/truffle/package.json
index 44a387f..f6a170e 100644
--- a/truffle/package.json
+++ b/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.24",
+    "truffle": "5.0.25",
     "truffle-hdwallet-provider": "^1.0.0-web3one.5"
   },
   "scripts": {
diff --git a/truffle/test/test.js b/truffle/test/test.js
index c4e1059..eb04229 100644
--- a/truffle/test/test.js
+++ b/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);
+  });
+
 });
 
 
diff --git a/truffle/truffle.js b/truffle/truffle.js
index 0cb79ba..0abbd0c 100644
--- a/truffle/truffle.js
+++ b/truffle/truffle.js
@@ -26,7 +26,7 @@ module.exports = {
     },
     compilers: {
         solc: {
-            version: "0.5.4",
+            version: "0.5.10",
             settings: {
                 optimizer: {
                     enabled: true,