From 823f0ed051513640ae1cadeb862b4df0f9fa5a32 Mon Sep 17 00:00:00 2001 From: Delja Date: Sun, 2 Aug 2020 18:11:44 -0400 Subject: [PATCH] tests: Add a test to show contracts in parallel execution Signed-off-by: Delja --- tests/contracts_threaded.nit | 52 ++++++++++++++++++++++++++++++++ tests/sav/contracts_threaded.res | 6 ++++ 2 files changed, 58 insertions(+) create mode 100644 tests/contracts_threaded.nit create mode 100644 tests/sav/contracts_threaded.res diff --git a/tests/contracts_threaded.nit b/tests/contracts_threaded.nit new file mode 100644 index 0000000000..06dfbebd0b --- /dev/null +++ b/tests/contracts_threaded.nit @@ -0,0 +1,52 @@ +# This file is part of NIT ( http://www.nitlanguage.org ). +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +# This test shows the verification of contracts in a parallel execution. + +import pthreads + +fun foo is + threaded + expect(contract_foo) +do + print "Foo" + bar("Foo thread") +end + +fun bar(thread_name: String) +is + threaded + expect(contract_bar(thread_name)) +do + print "Bar called from {thread_name}" +end + +fun contract_foo: Bool +do + print("Foo contract") + return true +end + +fun contract_bar(thread_name: String): Bool +do + sys.nanosleep(3,0) + print("Bar contract called from {thread_name}") + return true +end + + +foo +sys.nanosleep(1,0) +bar("Main thread") +sys.nanosleep(5,0) diff --git a/tests/sav/contracts_threaded.res b/tests/sav/contracts_threaded.res new file mode 100644 index 0000000000..f823b0f69e --- /dev/null +++ b/tests/sav/contracts_threaded.res @@ -0,0 +1,6 @@ +Foo contract +Foo +Bar contract called from Foo thread +Bar called from Foo thread +Bar contract called from Main thread +Bar called from Main thread