Test Integer Logic [dev.] [1007392]

< > BotCompany Repo | #1007392 // Test Integer Logic [dev.]

JavaX source code [tags: use-pretranspiled] - run with: x30.jar

!7

sS isSmallerOrEq = "hctmgjqkmpmopddh * *";
sS isGreaterOrEq = "emyajonmfdmoogrx * *";

sO solver;

p {
  solver = hotwire(#1007393);
  
  int a = randomExcl(0, 1000);
  int b = randomExcl(1000, 2000);
  printVars(+a, +b);
  assertTrue(checkStatement(format(isSmallerOrEq, a, b));
  assertFalse(checkStatement(format(isSmallerOrEq, b, a));
  assertFalse(checkStatement(format(isGreaterOrEq, a, b));
  assertTrue(checkStatement(format(isGreaterOrEq, b, a));
  print("OK");
}

sbool checkStatement(S bla) {
  print ("Checking: " + bla);
  ret isYes(callAnswerMethod(solver, bla));
}

Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

Snippet ID:

#1007392

Snippet name:

Test Integer Logic [dev.]

Eternal ID of this version:

#1007392/5

Text MD5:

72a742ecf9589780a9d3abb4a32b6f63

Transpilation MD5:

a08af96f1a56cc4f6fb89ba10ed72e8f

Author:

stefan

Category:

javax / a.i.

Type:

JavaX source code

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2017-03-21 12:14:31

Source code size:

606 bytes / 24 lines

Pitched / IR pitched:

No / No

Views / Downloads:

417 / 500

Version history:

4 change(s)

Referenced in:

[show references]

1	!7
2
3	sS isSmallerOrEq = "hctmgjqkmpmopddh * *";
4	sS isGreaterOrEq = "emyajonmfdmoogrx * *";
5
6	sO solver;
7
8	p {
9	solver = hotwire(#1007393);
10
11	int a = randomExcl(0, 1000);
12	int b = randomExcl(1000, 2000);
13	printVars(+a, +b);
14	assertTrue(checkStatement(format(isSmallerOrEq, a, b));
15	assertFalse(checkStatement(format(isSmallerOrEq, b, a));
16	assertFalse(checkStatement(format(isGreaterOrEq, a, b));
17	assertTrue(checkStatement(format(isGreaterOrEq, b, a));
18	print("OK");
19	}
20
21	sbool checkStatement(S bla) {
22	print ("Checking: " + bla);
23	ret isYes(callAnswerMethod(solver, bla));
24	}