Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 01b992899a1c9287e6e7e5cfb22b76b26da616e7)
+++ Jenkinsfile	(revision 38bfe05b70cc9b341f6079df74435a7306a10342)
@@ -28,5 +28,5 @@
 		wrap([$class: 'TimestamperBuildWrapper']) {
 
-			notify_server()
+			notify_server(1)
 
 			prepare_build()
@@ -46,5 +46,5 @@
 			publish()
 
-			notify_server()
+			notify_server(45)
 		}
 	}
@@ -171,6 +171,6 @@
 }
 
-def notify_server() {
-	sh 'curl --silent -X POST http://plg2:8082/jenkins/notify > /dev/null || true'
+def notify_server(int wait) {
+	sh """curl --silent --data "wait=${wait}" -X POST http://plg2:8082/jenkins/notify > /dev/null || true"""
 	return
 }
Index: src/tests/.expect/32/math.txt
===================================================================
--- src/tests/.expect/32/math.txt	(revision 01b992899a1c9287e6e7e5cfb22b76b26da616e7)
+++ src/tests/.expect/32/math.txt	(revision 38bfe05b70cc9b341f6079df74435a7306a10342)
@@ -22,5 +22,5 @@
 cos:0.540302 0.54030230586814 0.540302305868139717 0.83373-0.988898i 0.833730025131149-0.988897705762865i 0.833730025131149049-0.988897705762865096i
 tan:1.55741 1.5574077246549 1.55740772465490223 0.271753+1.08392i 0.271752585319512+1.08392332733869i 0.271752585319511717+1.08392332733869454i
-asin:1.5708 1.5707963267949 1.57079632679489662 0.666239+1.06128i 0.666239432492515+1.06127506190504i 0.666239432492515255+1.06127506190503565i
+asin:1.5708 1.5707963267949 1.57079632679489662 0.66624+1.06128i 0.666239432492515+1.06127506190504i 0.666239432492515255+1.06127506190503565i
 acos:0 0 0 0.904557-1.06128i 0.904556894302381-1.06127506190504i 0.904556894302381364-1.06127506190503565i
 atan:0.785398 0.785398163397448 0.78539816339744831 1.01722+0.402359i 1.01722196789785+0.402359478108525i 1.01722196789785137+0.402359478108525094i
Index: src/tests/sched-int-block.c
===================================================================
--- src/tests/sched-int-block.c	(revision 01b992899a1c9287e6e7e5cfb22b76b26da616e7)
+++ src/tests/sched-int-block.c	(revision 38bfe05b70cc9b341f6079df74435a7306a10342)
@@ -8,6 +8,4 @@
 
 enum state_t { WAITED, SIGNAL, BARGE };
-
-monitor global_t {};
 
 monitor global_data_t {