Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 932b5f04d5d6
Choose a base ref
...
head repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 58e59ba11a92
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Feb 3, 2018

  1. Copy the full SHA
    47ee537 View commit details
  2. Merge pull request #1709 from pleroy/Median

    Filter out the medians from the benchmarks
    pleroy authored Feb 3, 2018

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    Copy the full SHA
    58e59ba View commit details
Showing with 8 additions and 6 deletions.
  1. +8 −6 benchmark_automation/benchmark_automation.cs
14 changes: 8 additions & 6 deletions benchmark_automation/benchmark_automation.cs
Original file line number Diff line number Diff line change
@@ -65,14 +65,15 @@ private static void Main(string[] args) {
String[] words =
line.Split(separator : new Char[]{' '},
options : StringSplitOptions.RemoveEmptyEntries);
const String mean_postfix = "_mean";
const String stddev_postfix = "_stddev";
const String mean_suffix = "_mean";
const String median_suffix = "_median";
const String stddev_suffix = "_stddev";
if (words[0].StartsWith("BM_")) {
if (has_repetitions && words[0].EndsWith(mean_postfix)) {
if (has_repetitions && words[0].EndsWith(mean_suffix)) {
String benchmark_name =
words[0].Substring(
startIndex : 0,
length : words[0].Length - mean_postfix.Length);
length : words[0].Length - mean_suffix.Length);
Int64 μ = Int64.Parse(words[1]);
Console.WriteLine(benchmark_name + ": μ = " + μ + " ns");
CommaSeparatedAppend(
@@ -88,8 +89,9 @@ private static void Main(string[] args) {
CommaSeparatedAppend(ref csv_means, μ.ToString());
Console.WriteLine(benchmark_name + ": μ = " + μ + " ns");
}
if (!words[0].EndsWith(stddev_postfix) &&
!words[0].EndsWith(mean_postfix)) {
if (!words[0].EndsWith(mean_suffix) &&
!words[0].EndsWith(median_suffix) &&
!words[0].EndsWith(stddev_suffix)) {
String benchmark_name = words[0];
if (last_benchmark_name != benchmark_name) {
if (last_benchmark_name != "") {