blob: 08a7d550af45904d2df0c083fd53a4b0a97c4074 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
<?php
include "connect.php";
$unfinished = $_GET["unfinish"] == "true";
$sat = $_GET["sat"] == "true";
$unsat = $_GET["unsat"] == "true";
# $gitrev = 'f3fc12d8582dcada94802882c6108d10b3581cfa';
$unfinished = True;
$sat = True;
$unsat = True;
$json = array();
function get_files_for_gitrev($sat, $unsat, $unfinished)
{
global $sql, $json;
$toadd = "(";
$num = 0;
if ($unfinished) {
$num++;
$toadd .= "finishup.status is NULL";
}
if ($sat) {
if ($num >0 ) $toadd .= " or ";
$num++;
$toadd .= "finishup.status = 'l_True'";
}
if ($unsat) {
if ($num >0 ) $toadd .= " or ";
$num++;
$toadd .= "finishup.status = 'l_False'";
}
$toadd .= ")";
$query = "
select solverRun.runID as runID, tags.tag as fname, solverRun.gitrev as mygitrev
from tags, solverRun left join finishup on (finishup.runID = solverRun.runID)
where solverRun.runID = tags.runID
and tags.tagname='filename'
and $toadd
order by tags.tag;";
#print $query;
$stmt = $sql->prepare($query);
if (!$stmt) {
print "Error:".$sql->lastErrorMsg();
die("Cannot prepare statement");
}
$result = $stmt->execute();
$numfiles = 0;
while($arr=$result->fetchArray(SQLITE3_ASSOC))
{
$numfiles++;
$data = array(
'fname' => $arr["fname"],
'runID' => $arr["runID"],
'gitrev' => $arr["mygitrev"]
);
array_push($json, $data);
# var_dump($arr);
}
$stmt->close();
return $numfiles;
}
$numfiles = get_files_for_gitrev($sat, $unsat, $unfinished);
$ret = array(
'filelist' => $json,
'numfiles' => $numfiles
);
$jsonstring = json_encode($ret);
echo $jsonstring;
$sql->close();
?>
|