Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
Plot diffability
library(ggplot2) <- read.table( header=TRUE, sep=",", "foo.OUT")
ggplot(, aes( x = numAxiomsDeleted, y = diffsize, shape = fmt, label = fmt, group = fmt ) ) +
scale_shape_discrete(solid=T, legend=T) +
scale_y_log10() +
scale_x_log10() +
geom_point(aes(colour = fmt)) +
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment