mpirun -np 4 /usr/local/build/bin/physl --dump-counters=py-csv.txt --dump-newick-tree=py-tree.txt --dump-dot=py-graph.txt --performance --print=result.py --hpx:run-hpx-main --hpx:thread=1 cannon.physl
define$53$0(cannon$53$0, size$53$11, block(define$54$4(array1$54$4, random_d$54$13(list$54$22(size$54$23, size$54$29), find_here$54$36(), num_localities$54$49())), define$55$4(array2$55$4, random_d$55$13(list$55$22(size$55$23, size$55$29), find_here$55$36(), num_localities$55$49())), define$56$4(v1$56$4, cannon_product_d$56$9(array1$56$26, array2$56$34)), define$57$4(v2$57$4, dot_d$57$9(array1$57$15, array2$57$23)), all$58$11(__eq$58$15(v1$58$15, v2$58$21))))
cannon(120)
def cannon(size):
array1 = random_d([size, size], find_here(), num_localities())
array2 = random_d([size, size], find_here(), num_localities())
v1 = cannon_product_d(array1, array2)
v2 = dot_d(array1, array2)
return all(v1 == v2)
physl: exception caught:
the given component id does not belong to a local object: HPX(bad_parameter)
physl: exception caught:
the given component id does not belong to a local object: HPX(bad_parameter)
physl: exception caught:
the given component id does not belong to a local object: HPX(bad_parameter)
physl: exception caught:
the given component id does not belong to a local object: HPX(bad_parameter)
Run command
Contents of cannon.physl
Generated from
Output: