From d3c5c1ed877d509475a5aa04a0bc7885504ddc0a Mon Sep 17 00:00:00 2001 From: Sven Thiele Date: Wed, 11 Oct 2023 12:09:29 +0200 Subject: [PATCH] Adjust integration tests --- tests/integration_test.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/integration_test.rs b/tests/integration_test.rs index cb61675..75aa763 100644 --- a/tests/integration_test.rs +++ b/tests/integration_test.rs @@ -5,8 +5,8 @@ use clingo::*; fn version() { let (ma, mi, re) = clingo::version(); assert!(ma == 5); - assert!(mi == 6); - assert!(re == 2); + assert!(mi == 7); + assert!(re == 0); } #[test] fn signature() {