Skip to content

Fix bug in pdnf_clause if empty data is passed (issue #92) #83

Fix bug in pdnf_clause if empty data is passed (issue #92)

Fix bug in pdnf_clause if empty data is passed (issue #92) #83

Job Run time
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1s
1m 0s
1m 9s
1m 9s
1m 7s
1m 15s
1m 7s
1m 13s
1m 10s
1m 15s
57s
1m 1s
58s
1m 17s
59s
58s
1m 8s
1m 7s
59s
1m 14s
1m 6s
1m 16s
1s
1s
1s
26m 47s