function submit() {
  var rule = $("#rule").val();

  $("#results").slideUp();
  $("#results_pre").slideDown();
  $("#results_pre").html("Loading...");

  $.ajax({
    url: "./testfiles",
    data: {r: rule},
    type: "post",
  }).done(function(data, status) {
    $("#results_pre").slideUp();
    var out = "";
    var p = JSON.parse(data);
    var j = p["r"];
    $("#flag").html("Flag: " + p["f"]);
    $("#false_pos").html("False positives: " + p["p"]);
    $("#false_neg").html("False negatives: " + p["n"]);
    $("#false_neg").css("color", p["n"]==0 ? "green" : "red");
    $("#false_pos").css("color", p["p"]==0 ? "green" : "red");
    $("#err").html(p["e"]);

    for (var i = 0; i < j.length; i++) {
        out += j[i][1]==j[i][2] ? "<tr>" : '<tr class="table-primary">';
        out += "<td>" + j[i][0] + "</td>";
        out += "<td>" + (j[i][1] ? '<i class="fas fa-check" style="color:green"></i>' : '<i class="fas fa-times" style="color:red"></i>') + "</td>";
        out += "<td>" + (j[i][2] ? '<i class="fas fa-check" style="color:green"></i>' : '<i class="fas fa-times" style="color:red"></i>') + "</td>";
        out += "</tr>";
    }


    $("#matches_tbl").html(out);
    $("#results").slideDown();
  });
}