Method verify

ZezeJava/ZezeJavaTest/src/Infinite/Tasks.java:83–103

()

		abstract long process();

		void verify() throws Exception {
			// default verify
			var name = getClass().getName();
			var runCount = getRunCounter(name).sum();
			var successCount = getSuccessCounter(name).sum();
			var stats = PerfCounter.instance().getOrAddProcedureInfo(name);
			var abortCount = stats.getOrAddResult(Procedure.AbortException).sum();
			var tooManyTry = stats.getOrAddResult(Procedure.TooManyTry).sum();
			Simulate.logger.info("  totalCount({})={}", name, runCount);
			Simulate.logger.info("successCount({})={}", name, successCount);
			if (abortCount != 0)
				Simulate.logger.warn("  abortCount({})={}", name, abortCount);
			if (tooManyTry != 0)
				Simulate.logger.warn("  tooManyTry({})={}", name, tooManyTry);
			if (runCount != successCount + abortCount + tooManyTry) {
				Simulate.logger.error("verify failed({}): {} != {} = {} + {} + {}\n{}",
						name, runCount, successCount + abortCount + tooManyTry, successCount, abortCount, tooManyTry,
						stats.toString(false));
				Assert.fail();
			}
		}

		@Override
		public long call() {